This book constitutes the proceedings of the 26th International Conference on Collaboration Technologies and Social Computing, ...
WeiterlesenRather than focusing on the language as a whole, this guide teaches Rust using a single small, complete, focused program ...
WeiterlesenThis book illustrates the benefits to be gained from digitally networked communication for health, education and transitioning ...
Weiterlesenillustrates the benefits to be gained from digitally networked communication for health, education and transitioning economies ...
WeiterlesenThe two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
WeiterlesenThe two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
WeiterlesenThis two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
WeiterlesenThis two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
WeiterlesenThis volume presented automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical ...
WeiterlesenThe volume cover logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; ...
WeiterlesenThis book constitutes the proceedings of the 23rd International Workshop on Computer Algebra in Scientific Computing, CASC ...
WeiterlesenThe IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
WeiterlesenThe IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
WeiterlesenThis book constitutes the refereed post-conference proceedings of the 15th CCF Conference on Computer Supported Cooperative ...
WeiterlesenThis book constitutes the refereed proceedings of the International Conference on Computer Vision and Graphics, ICCVG 2020, ...
WeiterlesenThis book constitutes revised selected papers of the Second International Conference on Computing Science, Communication ...
WeiterlesenThis book constitutes revised selected papers of the First International Conference on Computing Science, Communication and ...
WeiterlesenThis book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Coordination Models and ...
WeiterlesenThis book constitutes the proceedings of the 22nd International Conference on Coordination Models and Languages, COORDINATION ...
WeiterlesenThis book constitutes the refereed proceedings of the 19th International Conference on Cryptology and Network Security, CANS ...
Weiterlesen